CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2006; 00:1–7 Prepared using cpeauth.cls [Version: v2.02] Accurate Garbage Collection in Uncooperative Environments Re

Source URL: www.filpizlo.com

Scope and Situation Binding in LTAG using Semantic Unification (Preprint version, to appear in Research on Language and Computation) Laura Kallmeyer () SFB 441, University of T¨

Source URL: user.phil-fak.uni-duesseldorf.de

PDF Document

Source URL: tcs.postech.ac.kr

• Theoretical computer science
• Algorithm
• Mathematical logic
• International Symposium on Algorithms and Computation
• Randomized algorithm

On the computation of the Picard group for K3 surfaces Andreas-Stephan Elsenhans∗ and J¨org Jahnel∗ Abstract We construct examples of K3 surfaces of geometric Picard rank 1. Our method is a refinement of that of R.

Source URL: www.staff.uni-bayreuth.de

THE UNIVERSITY OF SHEFFIELD CENTER FOR COMPUTATION IMAGING AND SIMULATION TECHNOLOGIES IN BIOMEDICINE SCIENTIFIC SOFTWARE DEVELOPMENT TEAM TECHNICAL REPORT

Source URL: www.cistib.org

CS8980, Deduction and Computation, Fall 2004 Assignment 1 Posted: Sept 15, 2004 Due: Sept 29, 2004

Source URL: www-users.cs.umn.edu

Dijkstra Monads in Monadic Computation? Bart Jacobs Institute for Computing and Information Sciences (iCIS), Radboud University Nijmegen, The Netherlands. Webaddress: www.cs.ru.nl/B.Jacobs February 26, 2014

Source URL: www.cs.ru.nl

Visualising the Tutte Polynomial Computation Bennett Thompson and David J. Pearce Gary Haggard Computer Science Group

Source URL: homepages.ecs.vuw.ac.nz

Efficient Computation of PDF-Based Characteristics from Diffusion MR Signal Haz-Edine Assemlal, David Tschumperl´e, and Luc Brun GREYC (CNRS UMR 6072), 6 Bd Mar´echal Juin, 14050 Caen Cedex, France Abstract. We pres

Source URL: tschumperle.users.greyc.fr

EMBODIED COMPUTATION ¨ HEIKO HAMANN∗ and HEINZ WORN Institute for Process Control and Robotics, Universit¨ at Karlsruhe (TH)

Source URL: heikohamann.de